D-Finder 2: Towards Efficient Correctness of Incremental Design Saddek Bensalem1 , Andreas Griesmayer1, Axel Legay3, Thanh-Hung Nguyen1 , Joseph Sifakis1 , and Rongjie Yan1,2 1

Source URL: www-verimag.imag.fr

www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis

Source URL: www-verimag.imag.fr

• Computing
• Science
• Object-oriented programming
• Component-based software engineering
• Modeling language
• Binding immunoglobulin protein
• Model checking
• Actor model
• Software design
• Scientific modeling
• Software engineering
• Systems science

Focus on: health R DAVIES From the ESRF to the pharmacy

Source URL: www.esrf.eu

• Particle accelerators
• Crystallography
• Materials science
• Protein structure
• Pharmacology
• Synchrotron
• X-ray crystallography
• Beamline
• Drug design
• Science
• Chemistry
• Pharmaceutical sciences

EPAAC WP8 Pilot Project 1 “European cancer research coordination in early phase clinical research” Update Objectives of PP1 The purpose of PP1 is to design and fund state-of-the-art biomarker-driven phases I/II acade

Source URL: www.epaac.eu

• Research
• Nursing research
• AstraZeneca
• Zeneca
• Pharmaceutical industry
• Medical research
• Clinical trial
• Protein phosphatase 1
• Health
• Pharmacology
• Pharmaceutical sciences

Teacher Preparation Notes for A Scientific Investigation – What types of food contain starch and protein? by Dr. Ingrid Waldron, Department of Biology, University of Pennsylvania, 2013

Source URL: serendip.brynmawr.edu

• Staple foods
• Starch
• Nutrition
• Excipients
• Design of experiments
• Iodine
• Experiment
• Statistical hypothesis testing
• Hypothesis
• Food and drink
• Chemistry
• Science

Teacher Preparation Notes for A Scientific Investigation – What types of food contain starch and protein? by Dr. Ingrid Waldron, Department of Biology, University of Pennsylvania, 20131 In this activity students learn

Source URL: serendip.brynmawr.edu

• Starch
• Staple foods
• Excipients
• Nutrition
• Design of experiments
• Iodine
• Biuret test
• Experiment
• Hypothesis
• Food and drink
• Chemistry
• Science

CHAPTER 11 CONCEPTS ON MICROARRAY DESIGN FOR GENOME AND TRANSCRIPTOME ANALYSES HELDER I. NAKAYA, EDUARDO M. REIS, SERGIO VERJOVSKI-ALMEIDA

Source URL: www.cellgenetics.ru

• Genetics
• Molecular biology
• Bioinformatics
• DNA
• Protein methods
• DNA microarray
• Tiling array
• ChIP-on-chip
• Oligonucleotide
• Biology
• Microarrays
• Biochemistry

The Virtual Laboratory: a toolset to enable distributed molecular modelling for drug design on the World-Wide Grid

Source URL: www.cloudbus.org

• Drug discovery
• Computing
• Medicinal chemistry
• Molecular modelling
• Protein structure
• Docking
• Nimrod
• Grid computing
• Chemical database
• Chemistry
• Science
• Computational chemistry

Research  positions  in  artificial  photosynthesis  and  protein  design  at   Dr.  Dror  Noy’s  research  group,  Migal-­‐Galilee  Research  Institute.   Artifici

Source URL: www.icore-solarfuels.org

• Cellular respiration
• Photosynthesis
• Plant physiology
• Biology
• Agronomy
• Botany

Design of partial agonists at muscarinic receptor subtypes using the concept of dualsteric ligands Primary Supervision: Ulrike Holzgrabe Secondary Supervisor: Carsten Hoffmann Lab webpage: http://www.pharmazie.uni-wuerzb

Source URL: www.graduateschools.uni-wuerzburg.de

• Pharmacology
• Cell signaling
• Neurophysiology
• Muscarinic acetylcholine receptor
• Agonist
• Allosteric regulation
• Ligand
• Receptor
• Acetylcholine
• Biology
• G protein coupled receptors
• Proteins